Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
771	arXiv:physics/0702239v1 [physics.gen-ph] 27 Feb[removed]How to create a universe Gordon McCabe February 2, 2008 Abstract Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-02 04:22:50 Electroweak theory Top quark Quark W and Z bosons Weak interaction Inflation Higgs boson Flavour Spontaneous symmetry breaking Physics Particle physics Standard Model
772	Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-06-09 12:22:14 Petri net Models of computation Symbol Model theory
773	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-10-22 10:36:57 Abstract algebra Category theory Probability theory Differential topology Embedding General topology Adjoint functors Functor Structure Mathematics Topology Model theory
774	Natural models of homotopy type theory Steve Awodey 1 June 2014 Abstract The notion of a natural model of type theory is defined in terms of that Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Mathematics Homotopy theory Differential topology Sheaf Functor Grothendieck topology Section Adjoint functors Initial and terminal objects Topology Abstract algebra Algebraic topology
775	These slides: http://sporadic.stanford.edu/bump/Montreal.pdf ◦ ◦ 9 Add to Reading List Source URL: sporadic.stanford.edu Language: English - Date: 2014-06-06 15:04:20 Group theory Lie algebras Weyl character formula Representation theory Symbol Weight Operator theory Littelmann path model Spectral theory of ordinary differential equations Abstract algebra Representation theory of Lie groups Algebra
776	Random Generators and Normal Numbers David H. Bailey1 and Richard E. Crandall2 20 March 2003 Abstract Pursuant to the authors’ previous chaotic-dynamical model for random digits of fundamental constants [5], we investi Add to Reading List Source URL: www.davidhbailey.com Language: English - Date: 2012-11-07 15:21:51 Diophantine approximation Equidistributed sequence Ergodic theory Normal number Pseudorandom number generator Stoneham number Normal distribution Constructible universe Net Mathematics Number theory Mathematical analysis
777	An extended model of natural logic Bill MacCartney and Christopher D. Manning Abstract We propose a model of natural language inference which identifies valid inferences by their lexical and syntactic features, without f Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2008-12-01 16:54:33 Semantics Model theory Logical consequence Predicate logic Entailment First-order logic Textual entailment Quantification Interpretation Logic Mathematical logic Philosophical logic
778	Voevodsky’s Univalence Axiom in homotopy type theory ´ Steve Awodey, Alvaro Pelayo and Michael A. Warren Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Abstract algebra Homotopy type theory Homotopy group Homotopy Model category Vladimir Voevodsky Mathematical logic Type theory Out Homotopy theory Topology Mathematics
779	arXiv:1008.3145v1 [math.LO] 18 Aug 2010 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Algebraic structures Boolean algebra Model theory Algebraic logic Order theory Stone duality Interpretation Adjoint functors Sheaf Mathematics Mathematical logic Abstract algebra
780	THE STRENGTH OF SOME COMBINATORIAL PRINCIPLES RELATED TO RAMSEY’S THEOREM FOR PAIRS DENIS R. HIRSCHFELDT, CARL G. JOCKUSCH, JR., BJØRN KJOS-HANSSEN, STEFFEN LEMPP, AND THEODORE A. SLAMAN Abstract. We study the reverse Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2009-07-29 17:55:43 Mathematics Theory of computation PA degree Computable function Reverse mathematics Model theory Forcing Combinatory logic Primitive recursive function Computability theory Mathematical logic Theoretical computer science

UPDATE